<div id="tip1" class="fronttip">
	With a browser that has javascript enabled, you can see many useful search tips here.
</div>
